docker start redis$3
